conditional($P$;${\it dcd\_P}$;$f$;$g$)($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$branch($P$($x$);${\it dcd\_P}$($x$);$p$.$f$($x$);$g$($x$))